DefinitionWindowBG:               (R:170,G:255,B:255,H:127,L:212,S:255)
DefinitionListWindowBG:           (R:230,G:190,B:40,H:33,L:135,S:201)
HintWindowBG:                     (R:170,G:220,B:170,H:84,L:194,S:106)
ProjectCenterBG:                  (R:120,G:165,B:222,H:151,L:171,S:154)
ProofWindowBG:                    (R:0,G:0,B:0,H:0,L:0,S:0)
SectionCenterBG:                  (R:217,G:176,B:183,H:247,L:196,S:89)
TacticDialogBG:                   (R:0,G:0,B:0,H:0,L:0,S:0)
TacticListBG:                     (R:180,G:225,B:140,H:64,L:182,S:149)
TheoremWindowBG:                  (R:0,G:0,B:0,H:0,L:0,S:0)
TheoremListWindowBG:              (R:170,G:210,B:100,H:57,L:154,S:140)
Start with about:                 True
Hints view threshold:             50
Hints apply threshold:            101
_WinTacticList0                   "List of tactics (1)" + "*"
_WinTacticList1                   "List of tactics (2)" 
_WinTacticList2                   "List of tactics (3)"
_WinTacticList3                   "List of tactics (4)" 
_WinTacticList4                   "List of tactics (5)" 
FirstRun

